Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
261	c ACM In ACM Computing Surveys, Vol. 30, No. 3, September 98. Optimizing Modular Logic Languages Michele Bugliesi Dipartimento di Matematica Pura e Applicata, Universit`a di Padova Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:38:21 Logic programming Non-classical logic Substructural logic Programming language Mathematical logic Logic Prolog Actor model Linear logic Software engineering Computing Programming language theory
262	Orbital stability for NLS Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Let n = 3, and take p < 43 . Some of the material we will present for general Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:52:33 Temporal logic Μ operator Operator theory Differential geometry Linear temporal logic
263	Event structure semantics for security protocols Jonathan Hayman and Glynn Winskel ? Computer Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-23 07:37:11 Logic in computer science Predicate logic Function Π-calculus Combinatory logic Free variables and bound variables FO Μ operator Linear temporal logic Mathematics Mathematical logic Theoretical computer science
264	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
265	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics
266	A∗ Sampling Chris J. Maddison Daniel Tarlow Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2015-03-29 14:20:59 Linear temporal logic Golden ratio base Statistics Gumbel distribution Probability and statistics
267	Probabilistic Temporal Logics via the Modal Mu-Calculus Rance Cleaveland a S. Purushothaman Iyer b Murali Narasimha c a Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2006-02-09 15:25:09 Theoretical computer science Temporal logic Model theory Linear temporal logic Logic in computer science Probabilistic logic Probabilistic bisimulation Interpretation Substitution Logic Mathematical logic Non-classical logic
268	1 Errata ”Principles of Model Checking” (JulyThanks to the Model Checking Reading Club at the Radboud University of Nijmegen, The Netherlands (in particular David N. Jansen and Frits W. Vaandrager), Holger He Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2010-07-30 08:23:30 Constructible universe Mathematics Symbol Linear temporal logic PP
269	The Legendre transform Jordan Bell Department of Mathematics, University of Toronto April 25, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-25 15:26:47 Locally convex topological vector space Calculus of variations Fourier transform Legendre transformation Partial differential equation Constructible universe Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Mathematics Fourier analysis
270	Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-02 15:59:38 Deduction Logical consequence Natural deduction Propositional calculus Sequent calculus Entailment Linear logic Monotonicity of entailment Curry–Howard correspondence Logic Proof theory Mathematical logic

UPDATE